basic
StAntiSym(T;x,y.R(x;y)) == x, y:T. (R(x;y) & R(y;x)) 

latex

---

clarification:

basic
StAntiSym(T;x,y.R(x;y)) == x:T, y:T. (R(x;y) & R(y;x)) 

latex

Definitions	x:A. B(x), A, P & Q
FDL editor aliases	st_anti_sym